Universal arrows to forgetful functors from categories of topological algebra
نویسندگان
چکیده
منابع مشابه
Universal Arrows to Forgetful Functors from Categories of Topological Algebra
We survey the present trends in theory of universal arrows to forgetful functors from various categories of topological algebra and functional analysis to categories of topology and topological algebra. Among them are free topological groups, free locally convex spaces, free Banach-Lie algebras, and more. An accent is put on relationship of those constructions with other areas of mathematics an...
متن کاملTopological Functors as Total Categories
A notion of central importance in categorical topology is that of topological functor. A faithful functor E → B is called topological if it admits cartesian liftings of all (possibly large) families of arrows; the basic example is the forgetful functor Top→ Set. A topological functor E → 1 is the same thing as a (large) complete preorder, and the general topological functor E → B is intuitively...
متن کاملArrows over Categories
Let |Σ| = e be arbitrary. In [9], the authors address the existence of left-finitely non-Landau subrings under the additional assumption that there exists an integral and Tate Gaussian topos. We show that Ξ̄ is homeomorphic to ρ̄. It would be interesting to apply the techniques of [9] to null, quasi-arithmetic functors. In future work, we plan to address questions of existence as well as existence.
متن کاملIntroduction to Categories and Functors
The category is introduced as an ordered 5-tuple of the form 〈O,M,dom,cod, ·, id〉 where O (objects) and M (morphisms) are arbitrary nonempty sets, dom and cod map M onto O and assign to a morphism domain and codomain, · is a partial binary map from M×M to M (composition of morphisms), id applied to an object yields the identity morphism. We define the basic notions of the category theory such a...
متن کاملFunctors for Alternative Categories
An attempt to define the concept of a functor covering both cases (covariant and contravariant) resulted in a structure consisting of two fields: the object map and the morphism map, the first one mapping the Cartesian squares of the set of objects rather than the set of objects. We start with an auxiliary notion of bifunction, i.e. a function mapping the Cartesian square of a set A into the Ca...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Australian Mathematical Society
سال: 1993
ISSN: 0004-9727,1755-1633
DOI: 10.1017/s0004972700015665